منابع مشابه
Towards Nominal Abramsky
Since the discovery of fully abstract models of PCF in the early 1990s, game semantics has expanded to a wide range of programming paradigms, covering effects like state, control, general references, non-determinism, probability and concurrency. Those models revealed an interesting phenomenon referred to as Abramsky’s cube: starting from the PCF model and relaxing each of its combinatorial cond...
متن کاملTowards Nominal Formal Languages
We introduce formal languages over infinite alphabets where words may contain binders. We define the notions of nominal language, nominal monoid, and nominal regular expressions. Moreover, we extend history-dependent automata (HD-automata) by adding stack, and study the recognisability of nominal languages.
متن کاملTowards Nominal Formal Languages (long version)
We introduce formal languages over infinite alphabets where words may contain binders. We define the notions of nominal language, nominal monoid, and nominal regular expressions. Moreover, we extend history-dependent automata (HD-automata) by adding stack, and study the recognisability of nominal languages.
متن کاملTowards Nominal Context-Free Model-Checking
Two kinds of automata are introduced, for recognising regular and context-free nominal languages. We compare their expressive power with that of analogous proposals in the literature. Some properties of our languages are proved, in particular that emptiness of a context-free nominal language L is decidable, and that the intersection of L with a regular nominal language is still context-free. Th...
متن کاملLeir: towards the Nominal Lead Ion Beam
The Low Energy Ion Ring (LEIR) is a central piece for LHC ion operation at CERN, transforming long Linac3 pulses into high density bunches needed for LHC. The first phase of LEIR commissioning successfully attained its goal of providing the so-called “early ion beam” (one bunch of 2.25 10 Lead ions) needed for the first LHC ion runs with reduced luminosity. Studies in view of generating the bea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2012
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2103621.2103704